1. The age of alternative logics :
المؤلف: edited by Johan van Benthem ... [and others]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
2. The age of alternative logics : assessing philosophy of logic and mathematics today
المؤلف: edited by Johan van Benthem... ]et al.[
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
3. The age of alternative logics: assessing philosophy of logic and mathematics today
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006